Programming Language and Tools for Automated Testing

نویسنده

  • Roy Patrick Tan
چکیده

Software testing is a necessary and integral part of the software quality process. It is estimated that inadequate testing infrastructure cost the US economy between $22.2 and $59.5 billion. We present Sulu, a programming language designed with automated unit testing specifically in mind, as a demonstration of how software testing may be more integrated and automated into the software development process. Sulu’s runtime and tools support automated testing from end to end; automating the generation, execution, and evaluation of test suites using both code coverage and mutation analysis. Sulu is also designed to fully integrate automatically generated tests with manually written test suites. Sulu’s tools incorporate pluggable test case generators, which enables the software developer to employ different test case generation algorithms. To show the effectiveness of this integrated approach, we designed an experiment to evaluate a family of test suites generated using one test case generation algorithm, which exhaustively enumerates every sequence of method calls within a certain bound. The results show over 80% code coverage and high mutation coverage for the most comprehensive test suite generated.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The Sulu Tools for Automated Testing

The Sulu programming language is a programming language inspired by Resolve; it uses the software component and an embedded design-by-contract formal specification as inputs to a unit testing system that provides a framework for automatically generating, executing and evaluating test cases. This paper describes the tools we constructed for the automated testing system, and a summary of an evalu...

متن کامل

Exploring the Relationship Between Web Application Development Tools and Security

How should software engineers choose which tools to use to develop secure web applications? Different developers have different opinions regarding which language, framework, or vulnerability-finding tool tends to yield more secure software than another; some believe that there is no difference at all between such tools. This paper adds quantitative data to the discussion and debate. We use manu...

متن کامل

Automated Acceptance Testing Tools Evaluation in Agile Software Development

Acceptance test is a crucial procedure in software development for the development of the right requirements that meets the needs and expectations of the stakeholders and users. Due to the problems faced when conducting this test manually, several automated acceptance tools have been developed. This paper presents a comparison analysis of selected automated acceptance tools from the existing li...

متن کامل

Evidence Management in Programatica

This paper summarizes our efforts in the Programatica project at OGI and PSU to design new kinds of tools to support the development and certification of software systems. Our approach relies on a tight integration of program source code, embedded formal properties, and associated evidence of validity. A particular goal for the toolset is to facilitate efficient and effective use of many differ...

متن کامل

Testing and Model Checking Implicit-Invocation Systems Using Automated Transformation1

In this paper, we present a framework that allows for testing and model checking of implicit-invocation systems. The framework includes a new programming language – the Implicit-Invocation Language (IIL), and a set of formal rule-based transformation tools that allow automatic generation of executable and formal verification artifacts. We provide details on the design of these formal rule-based...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007